Browsing by Author "Toro Ipinza, Matías"

Now showing items 1-11 of 11

    • A Coq formalization of RDF and its applications 
      Vallejos Parada, Tomás Javier (Universidad de Chile, 2023)
      El Marco de Descripci´on de Recursos (del ingl´es Resource Description Framework, RDF) es un modelo de datos basado en grafos que enriquece los documentos de la World Wide Web con datos entendibles por m´aquinas. Durante ...
    • Countable polymorphic may-must effects 
      Mosso Chávez, Fabián Andrés (Universidad de Chile, 2020)
      Muchos programas realizan operaciones tales como mutar el heap, imprimir en pantalla, leer archivos, comunicarse con otros programas o generar números aleatorios. Estas interacciones son conocidas como efectos colaterales. ...
    • Customizable gradual effects for scala 
      Toro Ipinza, Matías (Universidad de Chile, 2015)
      Operaciones realizadas por un programa de computación pueden producir efectos. Efectos computacionales pueden ser definidos como operaciones que interactúan y que se comunican con su ambiente. Ejemplos de efectos son ...
    • Diseño e implementación de sistema de autenticación de usuarios conectando bases de datos preexistentes 
      Cortez Encina, Tomás Ignacio (Universidad de Chile, 2023)
      En el presente trabajo de título se presenta una problemática que experimenta la empresa BPO Advisors. Esta empresa posee distintos sistemas web con sus bases de datos de usuarios y formas de autorización, como por ejemplo, ...
    • Gradual sensitivity types 
      Arquez Trigo, Damián Nicolás (Universidad de Chile, 2021)
      Sensitivity type systems are used to reason about the sensitivity of computations. This is of particular interest in the fields of privacy, specially differential privacy. One caveat of sensitivity types is that, being a ...
    • Gradual system F 
      Labrada Deniz, Elizabeth (Universidad de Chile, 2022)
      El polimorfismo paramétrico es un mecanismo de abstracción ampliamente utilizado en los lenguajes de programación, que permite la definición genérica de funciones y tipos, y proporciona reutilización de código e independencia ...
    • Implementación de Leapfrog Triejoin sobre estructuras de datos compactas 
      Campos Fischer, Daniela Andrea (Universidad de Chile, 2022)
      Las operaciones de join en bases de datos resultan costosas, ya sea en el tiempo que toma o en el espacio utilizado por los índices que resuelven dichas consultas. En el último tiempo se han introducido los algoritmos ...
    • Mejoramiento automático de mallas compuestas de unidades de respuesta hidológica (URHS) implementado en QGIS 
      Villarroel Garcés, Sergio Ariel (Universidad de Chile, 2023)
      En el contexto del modelamiento hidrológico, el modelo PUMMA (Peri-Urban Model for landscape MAnagment) representa áreas urbanas a través de EHU (Elementos Hidrológicos Urbanos) y zonas naturales y periurbanas a través de ...
    • Plausible sealing for gradual parametricity 
      Labrada Deniz, Elizabeth; Toro Ipinza, Matías; Tanter, Eric Pierre; Devriese, Dominique (Assoc Computing Machinery, 2022)
      Graduality and parametricity have proven to be extremely challenging notions to bring together. Intuitively, enforcing parametricity gradually requires possibly sealing values in order to detect violations of uniform ...
    • Sistema de valorización de instrumentos derivados para una Fintech 
      Romero Villegas, Matías José (Universidad de Chile, 2023)
      LVA Índices es una empresa del ámbito financiero que entrega información y valorización de instrumentos financieros. Entre ellos se encuentran toda la renta fija chilena y la valorización de instrumentos derivados. A ...
    • Usabilidad en una Herramienta de Gestión de Desarrollo de Proyectos de Software 
      Toro Ipinza, Matías (Universidad de Chile, 2008)
      Existen actualmente muchas herramientas de administración de desarrollo de software, las cuales tienen elementos de Planificación y Tracking. Pero no muchas de ellas toman estos dos elementos y los combinan. Una de las ...